Quasiquotation in Lisp

Hygienic Quasiquotation in Scheme Distilled Tutorial

Quasiquotation in Scheme is nearly ideal for implementing programs that generate other programs. These programs lack only the ability to generate fresh bound identifiers, as required to make such code-manipulating programs hygienic, but any Scheme programmer knows how to provide this ability using gensym. In this tutorial we investigate hygienic quasiquotation in Scheme and in languages influen...

Fan: compile-time metaprogramming for OCaml

This paper presents Fan, a general-purpose syntactic metaprogramming system for OCaml. Fan helps programmers create delimited, domain-specific languages (DDSLs) that generalize nested quasiquotation and can be used for a variety of metaprogramming tasks, including: automatically deriving “boilerplate” code, code instrumentation and inspection, and defining domain-specific languages. Fan provide...

Lisp-in-Lisp: High Performance and Portability

Until recently every Lisp implementation has had either a relatively large assembly language core or extensive microcode support. We have been working on a Common Lisp [Steele 1982] for the S-1 Mark IIA super-computer being developed at LLNL, producing an implementation that has high performance, exploits the complex architecture of the S-1, and which is almost entirely written in Lisp [Brooks ...

Khepera-LISP Interface for Allegro Common LISP

Some Non-standard Issues on Lisp Standardization

Lisp was born about 25 years ago as an A1 language with a precise operational semantics. Since then many Lisp dialects have been proposed, implemented and used. In 1960's Lisp 1.5 was a kind of Lisp standard, although there were many Lisp 1.5 dialects which depend on 1/0 and computer systems. In 1970's various Lisp dialects were spawned to respond to the need of more powerful Lisp systems for A...